On a Theorem Concerning Existence of Interpolating Functions
نویسندگان
چکیده
منابع مشابه
An existence theorem concerning strong shape of Cartesian products
The paper is devoted to the question is the Cartesian product X × P of a compact Hausdorff space X and a polyhedron P a product in the strong shape category SSh of topological spaces. The question consists of two parts. The existence part, which asks whether, for a topological space Z, for a strong shape morphism F : Z → X and a homotopy class of mappings [g] : Z → P , there exists a strong sha...
متن کاملAn Interpolating Theorem Prover
We present a method of deriving Craig interpolants from proofs in the quantifier-free theory of linear inequality and uninterpreted function symbols, and an interpolating theorem prover based on this method. The prover has been used for predicate refinement in the Blast software model checker, and can also be used directly for model checking infinite-state systems, using interpolation-based ima...
متن کاملstudy of hash functions based on chaotic maps
توابع درهم نقش بسیار مهم در سیستم های رمزنگاری و پروتکل های امنیتی دارند. در سیستم های رمزنگاری برای دستیابی به احراز درستی و اصالت داده دو روش مورد استفاده قرار می گیرند که عبارتند از توابع رمزنگاری کلیددار و توابع درهم ساز. توابع درهم ساز، توابعی هستند که هر متن با طول دلخواه را به دنباله ای با طول ثابت تبدیل می کنند. از جمله پرکاربردترین و معروف ترین توابع درهم می توان توابع درهم ساز md4, md...
gH-differentiable of the 2th-order functions interpolating
Fuzzy Hermite interpolation of 5th degree generalizes Lagrange interpolation by fitting a polynomial to a function f that not only interpolates f at each knot but also interpolates two number of consecutive Generalized Hukuhara derivatives of f at each knot. The provided solution for the 5th degree fuzzy Hermite interpolation problem in this paper is based on cardinal basis functions linear com...
متن کاملSymmetric Interpolating Scaling Functions
In many applications, wavelets are usually expected to have the following properties: compact support, orthogonality, linear-phase, regularity, and interpolation. To construct such wavelets, it is crucial designing scaling functions with the above properties. In twoand three-band cases, except for the Haar functions, there exists no scaling function with the above five properties. In -band case...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 1965
ISSN: 0002-9947
DOI: 10.2307/1993983